1. Abstract state machines, B and
Author: / Egon Beorger ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory--Congresses,B method (Computer science)--Congresses,Z (Computer program language)--Congresses
2. Abstract state machines, B and Z
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: B method (Computer science) ; Congresses. ; Machine theory ; Congresses. ; Z (Computer program language) ; Congresses. ;
3. Abstract state machines, alloy, B and Z
Author: / Marc Frappier ... [et al.] (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
Classification :
QA267
.
A29
2010
4. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
Author: Marc Frappier ... ]et al.[ )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
Classification :
QA
267
.
A26
2010
5. An introduction to formal specification and Z
Author: Potter, Ben
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Z )Computer program language(
Classification :
QA
76
.
76
.
D47
P68
6. An introduction to formal specification and Z
Author: Potter, Ben.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software - Development , Z )Computer program language(
Classification :
QA
76
.
76
.
D47
P68
1990
7. An introduction to formal specification and Z
Author: Ben Potter, Jane Sinclair, David Till
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Computer software - Geotools,Z )Computer program language(
Classification :
QA
76
.
76
.
D47
8. An introduction to formal specification and Z
Author: Potter, Ben.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Development ، Computer software,، Z )Computer program language(
Classification :
QA
76
.
76
.
D47
P68
1991
9. An introduction to formal specification and Z
Author: / Ben Potter, John Sinclair and David Till
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software--Development.,Z (Computer program language)
Classification :
QA
76
.
76
.
D47P68
1996
10. Formal Specification Using Z
Author: / David lightfood,Lightfoot
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Z (Computer Program language),Formal languages
Classification :
QA
76
.
73
.
Z2L5
1991
11. Formal object-oriented specification using object-Z
Author: Duke, Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented programming )Computer science(,، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
.
D85
2000
12. Formal object-oriented specification using object-Z
Author: Duke, Roger
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Object-oriented programming )Computer science(,، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
D85
2000
13. Formal specification and documentation Using Z: a case study approach
Author: Bowen, Jonathan Peter
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Z )Computer program language(,، System design,Development ، Computer software,، Software documentation
Classification :
QA
76
.
73
.
Z2
B68
1996
14. Formal specification and documentation using Z : a case study approach
Author: Bowen, Jonathan
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Z )Computer program language( , Computer software - Development
Classification :
QA
76
.
73
.
Z2
B68
1996
15. Formal specification using Z
Author: Lightfoot, David
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
.
L5
2001
16. Formal specification using Z
Author: Lightfoot, David
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
L54
2001
17. Formal specification using Z: a modelling approach
Author: Bottaci, Leon.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Z )Computer program language(
Classification :
QA
76
.
73
.
Z2
.
B68
1995
18. Formal specification using Z: a modelling approach
Author: Bottaci, Leonardo
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Z )Computer program language( , Computer Software - Development
Classification :
QA
76
.
73
.
Z2
B67
1995
19. Microcomputing in Basic on the RML 380Z/480z
Author: McDonough, W.R
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Research Machines RML 083z-Programming,، BASIC )Computer program language(,Research Machines RML 084z - Programming
Classification :
QA
76
.
8
.
R4
M33
1983
20. Microcomputing in basic on the RML 380Z / 480Z
Author: McDonough, W R
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Research Machines RML 083Z - Programming,، Basic )computer program language(,، Research Machines RML 084Z - Programming
Classification :
QA
76
.
8
.
R4
M33
1983
